Trichotomies for ideals of compact sets
نویسندگان
چکیده
منابع مشابه
Trichotomies for ideals of compact sets
We prove several trichotomy results for ideals of compact sets. Typically, we show that a “sufficiently rich” universally Baire ideal is either Π3-hard, or Σ3-hard, or else a σ-ideal.
متن کاملGδ Ideals of Compact Sets
We investigate the structure of Gδ ideals of compact sets. We define a class of Gδ ideals of compact sets that, on the one hand, avoids certain phenomena present among general Gδ ideals of compact sets and, on the other hand, includes all naturally occurring Gδ ideals of compact sets. We prove structural theorems for ideals in this class, and we describe how this class is placed among all Gδ id...
متن کاملPOLAR ff-IDEALS OF COMPACT SETS
Let £ be a metric compact space. We consider the space 3T{E) of all compact subsets of E endowed with the topology of the Hausdorff metric and the space Jt{E) of all positive measures on E endowed with its natural w*-topology. We study c-ideals of 5F(E) of the form I = Ip = {K e 5P(E): n(K) = 0,V^SP} where P is a given family of positive measures on E. If M is the maximal family such that / = I...
متن کاملIdeals of compact sets associated with Borel functions
We investigate the connection between the Borel class of a function f and the Borel complexity of the set C(f) = {C ∈ J(X) : f |C is continuous} where J(X) denotes the compact subsets of X with the Hausdorff metric. For example, we show that for a function f : X → Y between Polish spaces; if C(f) is Fσδ in J(X), then f is Borel class one.
متن کاملRepresentations of positive polynomials on non-compact semialgebraic sets via KKT ideals
This paper studies the representation of a positive polynomial f(x) on a noncompact semialgebraic set S = {x ∈ R : g1(x) ≥ 0, · · · , gs(x) ≥ 0} modulo its KKT (Karush-KuhnTucker) ideal. Under the assumption that the minimum value of f(x) on S is attained at some KKT point, we show that f(x) can be represented as sum of squares (SOS) of polynomials modulo the KKT ideal if f(x) > 0 on S; further...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2006
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1146620160